Validatio of K Owledge-based Systems through Commo Kads

This paper defines a method that can be used for validating knowledge-based systems (KBS) throughout their entire lifecycle. Method’s name is MAVERICK. It stands for Method for Automated Validation Embedded into the Reusable and Incremental CommonKADS. The lack of suitable, rigorous and general validation methods has become a serious obstacle to user acceptance of KBS for critical applications. In spite of recent significant advances in validation of KBS, it still remains an open problem. The ideas presented in this paper are based on the concept that validation should be performed in a structured and guided manner, integrated within a knowledge-based systems’ lifecycle development method.. We define an incremental validation method for KBS based on extracting test cases from CommonKADS. Furthermore, we introduce our method for reducing the number of test cases and thus reducing validation’s effort and cost. Index Terms Validation, CommonKADS, Knowledge-based systems, Test case.